Metrization and Simulation of Controlled Hybrid Systems
نویسندگان
چکیده
منابع مشابه
Symbolic Simulation of Hybrid Systems
Continuous action systems (CAS) is a formalism intended for modeling hybrid systems (systems that combine discrete control with continuous behavior), and proving properties about the model within refinement calculus. In this paper we use a symbolic manipulation program to build a tool for simulating CAS models by calculating symbolically the time evolution of the discrete and continuous CAS mod...
متن کاملIntegrated Design and Simulation of Hybrid Systems
In this article we present a new approach for the design of hybrid systems composed of discrete and continuous parts. In our approach the system designers can start their speciications with the discrete as well as with the continuous parts. Both paradigms can be used with there own methodology and Tools. There are integration mechanisms for both paradigms. For the integrated simulation C code i...
متن کاملControlled Simulation of Marriage Systems
This article presents and illustrates a new methodology for testing hypotheses about the departure of marriage choices from baseline models of random mating in an actual kinship and marriage network of a human population. The fact that demographic constraints can drastically affect the raw frequencies of different types of marriage suggests that we must reexamine or even throw out as methodolog...
متن کاملWeak Bases and Metrization
Several weak base (in the sense of A. V. Arhangel'skiT) metrization theorems are established, including a weak base generalization of the Nagata-Smirnov Metrization Theorem.
متن کاملNagata-Smirnov Metrization Theorem.nb
Introduction: The Nagata-Smirnov Metrization theorem gives a full characterization of metrizable topological spaces. In other words, the theorem describes the necessary and sufficient conditions for a topology on a space to be defined using some metric. As a motivational example, consider the discrete topology on some space (every subset of the space is open). Though it might not be apparent to...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Transactions on Automatic Control
سال: 2015
ISSN: 0018-9286,1558-2523
DOI: 10.1109/tac.2015.2404231